An Algebraic Foundation for Graph-based Diagrams in Computing

An Algebraic Foundation for Graph-based Diagrams in Computing

An algebraic foundation for automatic feature-based program synthesis

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration exists. We present a feature algebra that...

An Algebraic Foundation for Adaptive Programming

An Algebraic Foundation for Truth Maintenance

We have recast the problem of t ru th maintenance in a setting of algebraic equations over Boolean lattices. If a method of labeling propositions to justi fy them according to some reasoning agent's constraints of belief happens to conform to the postulates of Boolean lattices, the labeling system can be reformulated as an algebraic equation solving system. A l l t ru th maintenance systems kno...

An Enhanced MSS-based checkpointing Scheme for Mobile Computing Environment

Mobile computing systems are made up of different components among which Mobile Support Stations (MSSs) play a key role. This paper proposes an efficient MSS-based non-blocking coordinated checkpointing scheme for mobile computing environment. In the scheme suggested nearly all aspects of checkpointing and their related overheads are forwarded to the MSSs and as a result the workload of Mobile ...